On Completeness of Omega-Regular Algebras
نویسندگان
چکیده
Omega-regular algebras axiomatise the equational theory of omega-regular expressions as induced by omega-regular language identity. Wagner presented an omega-regular algebra which requires recursively defined side conditions in some of its axioms. We introduce a first-order Horn axiomatisation for which such conditions can be avoided because additive and multiplicative units are absent. We prove its completeness relative to Wagner’s result using categorical constructions for adjoining additive and multiplicative units.
منابع مشابه
On Free {\omega}-Continuous and Regular Ordered Algebras
Let E be a set of inequalities between finite Σ-terms. Let Vω and Vr denote the varieties of all ω-continuous ordered Σ-algebras and regular ordered Σ-algebras satisfying E, respectively. We prove that the free Vr-algebra R(X) on generators X is the subalgebra of the corresponding free Vω-algebra Fω(X) determined by those elements of Fω(X) denoted by the regular Σ-coterms. We actually establish...
متن کاملB -AND B - COMPLETENESS IN LOCALLY CONVEX ALGEBRAS AND THE E x THEOREM
Let E be a B-complete (B -complete) locally convex algebra and $ the topological direct sum of countably many copies of the scalar field with a jointly continuous algebra multiplication. It has been shown that E is also B-complete (B -complete) for componentwise multiplication on E . B-and Br-completeness of E , the unitization of E, and also of E x for other multiplications on E ...
متن کاملLocal tracial C*-algebras
Let $Omega$ be a class of unital $C^*$-algebras. We introduce the notion of a local tracial $Omega$-algebra. Let $A$ be an $alpha$-simple unital local tracial $Omega$-algebra. Suppose that $alpha:Gto $Aut($A$) is an action of a finite group $G$ on $A$ which has a certain non-simple tracial Rokhlin property. Then the crossed product algebra $C^*(G,A,alpha)$ is a unital local traci...
متن کاملOmega Algebras and Regular Equations
We study a weak variant of omega algebra, where one of the usual star induction axioms is absent, in the context of recursive regular equations. We present abstract conditions for explicitly defining the omega operation and use them for proving an algebraic variant of Arden’s rule for solving such equations. We instantiate these results in concrete models—languages, traces and relations—showing...
متن کاملA Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
We give a nitary axiomatization of the algebra of regular events involving only equations and equational implications Unlike Salo maa s axiomatizations the axiomatization given here is sound for all interpretations over Kleene algebras
متن کامل